Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains
نویسندگان
چکیده
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS will correctly execute a given sequential Markovian task. We consider distributed MRS composed of non-communicative robots that maintain a limited amount of non-transient internal state. The model shares a common formal framework with our past work on the development of systematic methods for the synthesis of MRS. As such, it can be used to improve design procedures by providing an analytical approach to the evaluation of design decisions. The unified nature of the modeling and synthesis methods are part of our ongoing work toward a general, comprehensive and principled MRS design methodology. We apply the model to the analysis of system performance in a multi-robot construction task domain. Our past work on synthesis methods provides robot controllers for this task domain; the model provides quantitative predictions of system performance. We discuss the assumptions and limitations inherent in the model and discuss how the complementary synthesis and analysis methods may be more fully integrated.
منابع مشابه
Utilizing Internal State in Multi-Robot Coordination Tasks
The success of a task-achieving multi-robot system (MRS) depends on effective coordination mechanisms to mediate the robots’ interactions in such a way that a given task is achieved. In the MRS community, many elegant coordination mechanisms have been empirically demonstrated. However, there is a lack of systematic procedures for the synthesis of coordinated MRS. In this paper, we address this ...
متن کاملPrincipled Approaches to the Design of Multi-Robot Systems
Coordinated multi-robot systems (MRS) have been successfully demonstrated in a variety of task domains. However, the design of these systems is typically ad hoc and centered around resource-intensive trial-and-error design processes. To fully exploit the power and potentials of MRS, the community is in need of additional principled design methodologies. In this paper, we present an overview of ...
متن کاملA Formal Design Methodology for Coordinated Multi-Robot Systems
To enable the successful deployment of task-achieving multi-robot systems (MRS), the interactions must be coordinated among the robots within the MRS and between the robots and the task environment. There have been a number of experimentally demonstrated coordinated MRS; however, most have been designed through ad hoc procedures, typically providing task-specific, empirical insights with few co...
متن کاملA Principled Design Methodology for Minimalist Multi-Robot System Controllers by Christopher Vernon Jones A Dissertation Presented to the FACULTY OF THE GRADUATE SCHOOL UNIVERSITY OF SOUTHERN CALIFORNIA
To enable the successful deployment of task-achieving multi-robot systems (MRS), the interactions must be coordinated among the robots within the MRS and between the robots and the task environment. There have been a number of impressive experimentally demonstrated coordinated MRS; however, most have been designed through ad hoc procedures, typically providing task-specific, empirical insights ...
متن کاملPrincipled synthesis for large-scale systems: task sequencing
This paper describes ongoing work toward a principled controller synthesis methodology for large-scale, minimalist multi-robot systems. The work’s key objectives is to establish a set of programming primitives (processes) for which macroscopic behavior can be formally predicted. Such prediction is made possible by statistical physics techniques that use properties of time-invariant processes wh...
متن کامل